31.28/32.65	unsat
