23.46/25.07	unsat
