31.59/32.71	unsat
