27.13/27.25	unsat
