20.65/20.77	unsat
