24.86/26.56	unsat
