34.71/38.16	unsat
