206.67/208.18	unsat
