24.46/25.12	unsat
