3.65/7.47	unsat
