1.98/2.00	unsat
