15.65/18.26	unsat
