24.86/26.28	unsat
