23.23/24.46	unsat
