0.65/0.86	unsat
