29.70/32.65	unsat
