24.34/25.63	unsat
