0.00/3.96	unsat
