22.77/23.41	unsat
