10.65/10.92	unsat
