26.94/30.25	unsat
