31.52/31.63	unsat
