0.00/5.42	unsat
