26.94/29.51	unsat
