23.72/23.93	unsat
