8.65/12.47	unsat
