24.03/24.77	unsat
