24.93/26.04	unsat
