24.77/24.81	unsat
