31.17/35.63	unsat
