0.00/2.68	unsat
