28.94/29.58	unsat
