20.65/20.71	unsat
