28.88/29.51	unsat
