0.00/6.49	unsat
