26.81/27.48	unsat
