23.69/25.41	unsat
