0.00/5.84	unsat
