31.65/34.58	unsat
