19.65/21.28	unsat
