0.00/6.33	unsat
