214.47/217.53	unsat
