25.96/26.04	unsat
