214.88/217.04	unsat
