25.50/29.23	unsat
