31.63/35.71	unsat
