25.77/25.81	unsat
