31.63/32.28	unsat
