24.34/25.79	unsat
