18.65/21.05	unsat
