11.26/13.92	unsat
