23.57/24.07	unsat
