24.27/26.04	unsat
