217.19/219.87	unsat
