24.96/26.95	unsat
