0.00/1.77	unsat
