25.89/25.95	unsat
