24.52/25.12	unsat
