21.65/38.66	unsat
