0.00/6.53	unsat
