31.37/34.73	unsat
