24.36/25.52	unsat
