34.70/38.24	unsat
