25.65/26.73	unsat
