24.46/25.60	unsat
