14.65/14.72	unsat
