26.63/27.32	unsat
