5.65/10.01	unsat
