28.65/31.12	unsat
