17.65/20.21	unsat
