25.70/26.95	unsat
