21.65/26.66	unsat
