15.65/19.81	unsat
