31.50/31.63	unsat
