5.65/7.60	unsat
