31.63/32.43	unsat
