27.26/27.36	unsat
