23.55/24.46	unsat
