11.65/14.60	unsat
