23.65/27.11	unsat
