15.65/18.02	unsat
