25.86/25.97	unsat
