206.02/208.03	unsat
