6.65/7.14	unsat
