25.86/26.48	unsat
