15.65/19.20	unsat
